[next] [tail] [up]

Integrals 1 to 100

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 92 133 82 75 80 199 93 74

N.S.

1 1.00 1.45 0.89 0.82 0.87 2.16 1.01 0.80

time (sec)

N/A 0.081 0.038 4.380 0.253 0.272 0.915 0.286 0.818

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 101 66 60 63 151 76 59

N.S.

1 1.00 1.40 0.92 0.83 0.88 2.10 1.06 0.82

time (sec)

N/A 0.065 0.030 3.784 0.255 0.264 0.479 0.281 0.717

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 71 49 43 45 105 57 43

N.S.

1 1.00 1.42 0.98 0.86 0.90 2.10 1.14 0.86

time (sec)

N/A 0.055 0.016 4.303 0.234 0.249 0.217 0.281 0.703

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 50 31 34 28 56 34 28

N.S.

1 1.00 1.67 1.03 1.13 0.93 1.87 1.13 0.93

time (sec)

N/A 0.028 0.028 2.498 0.261 0.251 0.115 0.278 0.046

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

24 24 35 30 38 40 0 40 22

N.S.

1 1.00 1.46 1.25 1.58 1.67 0.00 1.67 0.92

time (sec)

N/A 0.028 0.028 1.870 0.297 0.264 0.000 0.281 0.066

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 48 55 58 72 0 60 41

N.S.

1 1.00 1.20 1.38 1.45 1.80 0.00 1.50 1.02

time (sec)

N/A 0.035 0.024 3.579 0.232 0.258 0.000 0.299 0.101

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 93 85 97 95 0 98 77

N.S.

1 1.00 1.33 1.21 1.39 1.36 0.00 1.40 1.10

time (sec)

N/A 0.056 0.015 4.240 0.229 0.264 0.000 0.291 0.786

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 98 137 108 126 114 0 121 102

N.S.

1 1.00 1.40 1.10 1.29 1.16 0.00 1.23 1.04

time (sec)

N/A 0.074 0.024 4.073 0.248 0.267 0.000 0.301 0.843

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 93 79 130 85 354 87 119

N.S.

1 1.00 0.79 0.68 1.11 0.73 3.03 0.74 1.02

time (sec)

N/A 0.082 0.191 3.957 0.333 0.259 0.716 0.291 2.305

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 89 68 61 103 68 258 68 91

N.S.

1 1.00 0.76 0.69 1.16 0.76 2.90 0.76 1.02

time (sec)

N/A 0.061 0.118 3.546 0.382 0.258 0.375 0.281 1.321

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 45 44 73 49 158 43 67

N.S.

1 1.00 0.74 0.72 1.20 0.80 2.59 0.70 1.10

time (sec)

N/A 0.046 0.105 2.319 0.301 0.256 0.167 0.280 0.967

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 21 20 31 0 20 17

N.S.

1 1.00 1.00 1.40 1.33 2.07 0.00 1.33 1.13

time (sec)

N/A 0.029 0.008 2.784 0.318 0.248 0.000 0.285 0.832

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

43 43 36 35 27 37 0 34 28

N.S.

1 1.00 0.84 0.81 0.63 0.86 0.00 0.79 0.65

time (sec)

N/A 0.044 0.070 4.168 0.249 0.232 0.000 0.286 0.810

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 65 61 58 43 56 0 57 42

N.S.

1 1.00 0.94 0.89 0.66 0.86 0.00 0.88 0.65

time (sec)

N/A 0.047 0.150 4.928 0.246 0.243 0.000 0.284 0.750

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 87 81 78 60 74 0 79 56

N.S.

1 1.00 0.93 0.90 0.69 0.85 0.00 0.91 0.64

time (sec)

N/A 0.058 0.217 4.378 0.216 0.238 0.000 0.291 0.717

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 88 324 0 128 0 0 0

N.S.

1 1.00 0.78 2.87 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.097 0.542 14.492 0.000 0.102 0.000 0.000 0.000

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 86 296 0 112 0 0 0

N.S.

1 1.00 0.76 2.62 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.147 0.461 9.919 0.000 0.094 0.000 0.000 0.000

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 70 261 0 101 0 0 0

N.S.

1 1.00 0.91 3.39 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.099 0.284 8.708 0.000 0.090 0.000 0.000 0.000

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 58 236 0 92 0 0 94

N.S.

1 1.00 0.77 3.15 0.00 1.23 0.00 0.00 1.25

time (sec)

N/A 0.094 0.244 5.785 0.000 0.092 0.000 0.000 0.346

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 57 216 0 117 0 0 0

N.S.

1 1.00 0.77 2.92 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.104 0.287 7.553 0.000 0.087 0.000 0.000 0.000

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 294 0 116 0 0 0

N.S.

1 1.00 0.74 3.77 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.099 0.341 7.073 0.000 0.090 0.000 0.000 0.000

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 81 567 0 139 0 0 0

N.S.

1 1.00 0.70 4.93 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.153 0.445 11.535 0.000 0.097 0.000 0.000 0.000

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 77 414 0 135 0 0 0

N.S.

1 1.00 0.67 3.60 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.105 0.516 10.321 0.000 0.096 0.000 0.000 0.000

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 23 99 0 19 0 0 0

N.S.

1 1.00 1.10 4.71 0.00 0.90 0.00 0.00 0.00

time (sec)

N/A 0.030 0.278 6.352 0.000 0.259 0.000 0.000 0.000

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

21 21 21 99 0 19 0 0 19

N.S.

1 1.00 1.00 4.71 0.00 0.90 0.00 0.00 0.90

time (sec)

N/A 0.029 0.137 4.295 0.000 0.254 0.000 0.000 0.760

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 78 291 0 142 0 0 0

N.S.

1 1.00 0.68 2.53 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.137 1.825 72.991 0.000 0.103 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 79 798 0 147 0 0 0

N.S.

1 1.00 0.69 6.94 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.143 1.385 72.588 0.000 0.092 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 226 0 112 0 0 0

N.S.

1 1.00 0.74 2.90 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.112 1.113 70.412 0.000 0.086 0.000 0.000 0.000

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 55 313 0 95 0 0 0

N.S.

1 1.00 0.74 4.23 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.119 1.146 17.086 0.000 0.087 0.000 0.000 0.000

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 58 226 0 97 0 0 0

N.S.

1 1.00 0.77 3.01 0.00 1.29 0.00 0.00 0.00

time (sec)

N/A 0.108 0.722 12.642 0.000 0.091 0.000 0.000 0.000

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 61 795 0 108 0 0 0

N.S.

1 1.00 0.79 10.32 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.109 0.574 16.523 0.000 0.093 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 79 291 0 119 0 0 0

N.S.

1 1.00 0.69 2.53 0.00 1.03 0.00 0.00 0.00

time (sec)

N/A 0.148 0.933 17.412 0.000 0.094 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 81 866 0 129 0 0 0

N.S.

1 1.00 0.70 7.53 0.00 1.12 0.00 0.00 0.00

time (sec)

N/A 0.151 1.000 22.996 0.000 0.100 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

117 117 114 0 0 0 0 0 0

N.S.

1 1.00 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.076 0.141 0.000 0.000 0.000 0.000 0.000 0.000

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 31 113 31 175 33 279 2494 30

N.S.

1 1.00 3.65 1.00 5.65 1.06 9.00 80.45 0.97

time (sec)

N/A 0.046 0.150 10.997 0.483 0.259 17.842 7.462 1.115

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 114 31 175 32 272 2489 30

N.S.

1 1.00 3.56 0.97 5.47 1.00 8.50 77.78 0.94

time (sec)

N/A 0.052 0.154 8.207 0.472 0.269 17.589 7.355 1.289

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 88 322 0 122 0 0 0

N.S.

1 1.00 0.79 2.88 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.106 0.435 12.699 0.000 0.102 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 89 294 0 106 0 0 0

N.S.

1 1.00 0.81 2.67 0.00 0.96 0.00 0.00 0.00

time (sec)

N/A 0.125 0.202 9.934 0.000 0.091 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 77 70 261 0 101 0 0 0

N.S.

1 1.00 0.91 3.39 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 0.065 0.068 9.481 0.000 0.091 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 59 237 0 89 0 0 0

N.S.

1 1.00 0.81 3.25 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.086 0.065 7.933 0.000 0.082 0.000 0.000 0.000

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 69 55 214 0 114 0 0 0

N.S.

1 1.00 0.80 3.10 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.100 0.594 8.075 0.000 0.091 0.000 0.000 0.000

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 56 292 0 113 0 0 0

N.S.

1 1.00 0.74 3.84 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.100 0.378 7.799 0.000 0.084 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 84 562 0 136 0 0 0

N.S.

1 1.00 0.76 5.11 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.141 0.531 11.664 0.000 0.097 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 83 412 0 132 0 0 0

N.S.

1 1.00 0.73 3.65 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.139 0.676 10.361 0.000 0.095 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 91 324 0 124 0 0 0

N.S.

1 1.00 0.83 2.95 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.101 0.242 12.579 0.000 0.103 0.000 0.000 0.000

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 86 296 0 112 0 0 0

N.S.

1 1.00 0.76 2.62 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.096 0.215 10.533 0.000 0.092 0.000 0.000 0.000

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 71 263 0 104 0 0 0

N.S.

1 1.00 0.95 3.51 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.082 0.053 9.154 0.000 0.090 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 61 239 0 88 0 0 0

N.S.

1 1.00 0.80 3.14 0.00 1.16 0.00 0.00 0.00

time (sec)

N/A 0.114 0.075 7.368 0.000 0.092 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

72 72 57 216 0 113 0 0 0

N.S.

1 1.00 0.79 3.00 0.00 1.57 0.00 0.00 0.00

time (sec)

N/A 0.141 0.438 7.287 0.000 0.087 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 294 0 112 0 0 0

N.S.

1 1.00 0.74 3.77 0.00 1.44 0.00 0.00 0.00

time (sec)

N/A 0.164 0.411 7.112 0.000 0.086 0.000 0.000 0.000

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 84 565 0 141 0 0 0

N.S.

1 1.00 0.74 5.00 0.00 1.25 0.00 0.00 0.00

time (sec)

N/A 0.203 0.537 11.513 0.000 0.091 0.000 0.000 0.000

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 83 414 0 136 0 0 0

N.S.

1 1.00 0.72 3.60 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.194 0.741 9.941 0.000 0.097 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 88 324 0 128 0 0 0

N.S.

1 1.00 0.78 2.87 0.00 1.13 0.00 0.00 0.00

time (sec)

N/A 0.121 0.228 14.602 0.000 0.105 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 87 296 0 116 0 0 0

N.S.

1 1.00 0.78 2.64 0.00 1.04 0.00 0.00 0.00

time (sec)

N/A 0.155 0.209 16.852 0.000 0.105 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 73 263 0 106 0 0 0

N.S.

1 1.00 0.94 3.37 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.166 0.059 18.822 0.000 0.090 0.000 0.000 0.000

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 65 239 0 90 0 0 0

N.S.

1 1.00 0.83 3.06 0.00 1.15 0.00 0.00 0.00

time (sec)

N/A 0.175 0.470 59.150 0.000 0.102 0.000 0.000 0.000

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 57 216 0 115 0 0 0

N.S.

1 1.00 0.77 2.92 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.111 0.353 181.955 0.000 0.099 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 294 0 114 0 0 0

N.S.

1 1.00 0.74 3.77 0.00 1.46 0.00 0.00 0.00

time (sec)

N/A 0.107 0.511 2.246 0.000 0.087 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 80 602 0 145 0 0 0

N.S.

1 1.00 0.70 5.23 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.134 0.873 4.553 0.000 0.098 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 83 414 0 140 0 0 0

N.S.

1 1.00 0.72 3.60 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 0.150 1.435 3018.439 0.000 0.108 0.000 0.000 0.000

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 94 349 0 128 0 0 0

N.S.

1 1.00 0.64 2.37 0.00 0.87 0.00 0.00 0.00

time (sec)

N/A 0.153 0.789 12.534 0.000 0.108 0.000 0.000 0.000

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 83 321 0 125 0 0 0

N.S.

1 1.00 0.72 2.79 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.123 0.734 11.141 0.000 0.106 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 77 293 0 109 0 0 0

N.S.

1 1.00 0.69 2.62 0.00 0.97 0.00 0.00 0.00

time (sec)

N/A 0.100 0.490 10.062 0.000 0.095 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 73 260 0 104 0 0 0

N.S.

1 1.00 0.91 3.25 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.081 0.078 8.460 0.000 0.098 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 58 236 0 92 0 0 94

N.S.

1 1.00 0.77 3.15 0.00 1.23 0.00 0.00 1.25

time (sec)

N/A 0.068 0.072 5.907 0.000 0.090 0.000 0.000 0.973

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 198 213 0 117 0 0 0

N.S.

1 1.00 2.79 3.00 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.093 2.540 8.102 0.000 0.094 0.000 0.000 0.000

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 141 291 0 116 0 0 0

N.S.

1 1.00 1.93 3.99 0.00 1.59 0.00 0.00 0.00

time (sec)

N/A 0.100 1.462 7.855 0.000 0.096 0.000 0.000 0.000

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 235 564 0 139 0 0 0

N.S.

1 1.00 2.10 5.04 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.141 4.598 12.401 0.000 0.091 0.000 0.000 0.000

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

110 110 74 413 0 135 0 0 0

N.S.

1 1.00 0.67 3.75 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.144 0.675 11.195 0.000 0.100 0.000 0.000 0.000

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

147 147 97 731 0 160 0 0 0

N.S.

1 1.00 0.66 4.97 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.185 1.013 16.574 0.000 0.100 0.000 0.000 0.000

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 86 324 0 125 0 0 0

N.S.

1 1.00 0.75 2.82 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.110 0.824 12.549 0.000 0.105 0.000 0.000 0.000

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 80 296 0 109 0 0 0

N.S.

1 1.00 0.70 2.57 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.117 0.704 10.516 0.000 0.107 0.000 0.000 0.000

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 69 263 0 104 0 0 0

N.S.

1 1.00 0.86 3.29 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.078 0.572 9.151 0.000 0.091 0.000 0.000 0.000

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 61 239 0 92 0 0 0

N.S.

1 1.00 0.78 3.06 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.080 0.075 7.214 0.000 0.091 0.000 0.000 0.000

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 57 216 0 117 0 0 0

N.S.

1 1.00 0.77 2.92 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.070 0.082 7.401 0.000 0.092 0.000 0.000 0.000

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

75 75 140 294 0 116 0 0 0

N.S.

1 1.00 1.87 3.92 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.098 1.000 7.469 0.000 0.088 0.000 0.000 0.000

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 81 567 0 139 0 0 0

N.S.

1 1.00 0.72 5.02 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 0.147 0.204 12.026 0.000 0.090 0.000 0.000 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 77 414 0 135 0 0 0

N.S.

1 1.00 0.69 3.70 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.152 0.604 11.475 0.000 0.094 0.000 0.000 0.000

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 86 324 0 125 0 0 0

N.S.

1 1.00 0.75 2.82 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.134 1.146 12.092 0.000 0.106 0.000 0.000 0.000

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 80 296 0 109 0 0 0

N.S.

1 1.00 0.70 2.57 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.170 0.874 10.383 0.000 0.096 0.000 0.000 0.000

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 80 69 263 0 104 0 0 0

N.S.

1 1.00 0.86 3.29 0.00 1.30 0.00 0.00 0.00

time (sec)

N/A 0.095 0.662 8.905 0.000 0.108 0.000 0.000 0.000

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 61 239 0 92 0 0 0

N.S.

1 1.00 0.78 3.06 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.103 0.079 7.937 0.000 0.089 0.000 0.000 0.000

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 57 216 0 117 0 0 0

N.S.

1 1.00 0.77 2.92 0.00 1.58 0.00 0.00 0.00

time (sec)

N/A 0.119 0.086 7.691 0.000 0.098 0.000 0.000 0.000

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 58 294 0 116 0 0 0

N.S.

1 1.00 0.74 3.77 0.00 1.49 0.00 0.00 0.00

time (sec)

N/A 0.093 0.130 6.575 0.000 0.087 0.000 0.000 0.000

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

112 112 81 567 0 139 0 0 0

N.S.

1 1.00 0.72 5.06 0.00 1.24 0.00 0.00 0.00

time (sec)

N/A 0.163 0.169 11.630 0.000 0.107 0.000 0.000 0.000

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 77 414 0 135 0 0 0

N.S.

1 1.00 0.68 3.66 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 0.244 0.233 10.281 0.000 0.092 0.000 0.000 0.000

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 81 567 0 139 0 0 0

N.S.

1 1.00 0.70 4.93 0.00 1.21 0.00 0.00 0.00

time (sec)

N/A 0.092 0.047 11.799 0.000 0.090 0.000 0.000 0.000

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

115 115 77 414 0 135 0 0 0

N.S.

1 1.00 0.67 3.60 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.100 0.049 10.553 0.000 0.093 0.000 0.000 0.000

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 70 70 111 63 0 0 97

N.S.

1 1.00 0.60 0.60 0.96 0.54 0.00 0.00 0.84

time (sec)

N/A 0.060 0.160 7.590 0.452 0.258 0.000 0.000 2.725

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

113 113 67 88 75 200 0 362 112

N.S.

1 1.00 0.59 0.78 0.66 1.77 0.00 3.20 0.99

time (sec)

N/A 0.055 0.498 7.062 0.431 0.287 0.000 2.965 2.515

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 74 52 47 57 46 139 79987 72

N.S.

1 1.00 0.70 0.64 0.77 0.62 1.88 1080.91 0.97

time (sec)

N/A 0.031 0.065 7.189 0.600 0.256 29.700 7.577 1.187

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 90 52 54 52 162 146 0 45

N.S.

1 1.00 0.58 0.60 0.58 1.80 1.62 0.00 0.50

time (sec)

N/A 0.025 0.059 6.898 0.414 0.297 13.719 0.000 0.546

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 68 44 53 80 201 0 0 0

N.S.

1 1.00 0.65 0.78 1.18 2.96 0.00 0.00 0.00

time (sec)

N/A 0.038 0.039 7.063 0.436 0.290 0.000 0.000 0.000

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

59 59 45 45 80 185 0 0 81

N.S.

1 1.00 0.76 0.76 1.36 3.14 0.00 0.00 1.37

time (sec)

N/A 0.031 0.051 8.606 0.411 0.292 0.000 0.000 1.499

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 78 59 115 728 213 0 0 0

N.S.

1 1.00 0.76 1.47 9.33 2.73 0.00 0.00 0.00

time (sec)

N/A 0.044 0.081 9.421 0.464 0.295 0.000 0.000 0.000

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 79 51 54 350 47 0 0 217

N.S.

1 1.00 0.65 0.68 4.43 0.59 0.00 0.00 2.75

time (sec)

N/A 0.046 0.150 8.821 0.434 0.266 0.000 0.000 3.579

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 122 80 180 2318 255 0 0 0

N.S.

1 1.00 0.66 1.48 19.00 2.09 0.00 0.00 0.00

time (sec)

N/A 0.068 0.160 8.638 0.512 0.306 0.000 0.000 0.000

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

119 119 70 71 117 69 0 0 98

N.S.

1 1.00 0.59 0.60 0.98 0.58 0.00 0.00 0.82

time (sec)

N/A 0.061 0.173 8.972 0.454 0.269 0.000 0.000 2.390

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 116 67 89 82 209 0 363 113

N.S.

1 1.00 0.58 0.77 0.71 1.80 0.00 3.13 0.97

time (sec)

N/A 0.059 0.380 9.022 0.525 0.295 0.000 3.036 2.077

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 53 48 60 50 0 0 54

N.S.

1 1.00 0.70 0.63 0.79 0.66 0.00 0.00 0.71

time (sec)

N/A 0.036 0.052 9.201 0.421 0.259 0.000 0.000 0.739

[next] [front] [up]